IdiomBracketsNotInScope.agda:12,10-21
_<*>_ needs to be in scope to use idiom brackets ⦇ ... ⦈
when scope checking ⦇ suc a ⦈
